Modelling Interactions for Automatic Execution Using UML Activity Diagrams
نویسندگان
چکیده
Software applications involving interactions of distributed systems are very common nowadays. Frequently, interactions are modelled during the analysis phase of a project and subsequently coded manually. Very often this results in a divergence of analysis model and the implemented code. Moreover, the border between interaction handling code and domain code may be blurred. In addition, hard-coding collaborations and interactions may impede maintainability of an application. In this paper, we propose a procedure for modelling interactions—and also collaborations—with the means of slightly extended UML activity diagrams. The resulting interaction model is then transformed to a machine interpretable format and may subsequently be processed and controlled by an interaction infrastructure, which we developed for this purpose. In addition, our procedure encourages a clear separation of interaction processing and domain code.
منابع مشابه
A Formal Semantics for UML Activity Diagrams ~ Formalising Workflow Models
In this report we define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our workflow models express software requirements and therefore assume a perfect implementation. In our semantics, software state changes do not take time. It is based upon the Statemate semantics of statecharts, extended with some transactional properties to deal with dat...
متن کاملEstablishing bridges between UML, HAD and GRAFCET Metamodels for the Modelling of Dynamic Systems
This article shows the scope and limits of UML as a tool for modelling Automatic Control Systems. An alternative metamodel, Hybrid Activity Diagram (HAD), is proposed and applied to a concrete example, in order to illustrate its efficiency in comparison to the limits of UML diagrams. The article also presents bridges which interlink UML, HAD and GRAFCET and establish compatibilities between the...
متن کاملA Real-Time Execution Semantics for UML Activity Diagrams
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that software state changes do not take time. It is based upon the Statemate semantics of statecharts, extended with some transactional properties to deal with data manipulation. Our semantics also deals with real-time and mult...
متن کاملUML interaction model-driven runtime verification of Java programs
The authors use unified modelling language (UML) 2.0 interaction overview diagrams (IODs) and sequence diagrams to construct simple and expressive scenario-based specifications, and present an approach to runtime verification of Java programs for exceptional consistency and mandatory consistency. The exceptional consistency requires that any forbidden scenario described by a given IOD never hap...
متن کاملUsing UML State Diagrams for Modelling the Performance of Parallel Programs Uso de Diagramas de Estado UML para la Modelación del Desempeño de Programas Paralelos
There are many possibilities to design a parallel program in order to obtain the best performance possible. The selection of a program structure, as an organisation of processes, impacts on the performance to be achieved, and depends on the problem to be solved. Now, in order to select a program structure as the best in terms of performance, the software designer requires performance modelling ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010